Progressive Type
段階的型?(Progressive Type)
MojoでProgressive Typeという仕組みが出てきた Progressive: 前進する、進歩する、向上する、進歩的な、〔税などが〕累進的な、
Gradual Typingの方はJavaScriptなどの型付けされていない言語(untyped language)に関するもの
[Politz2012]内で言及している論文中にはスクリプト言語が該当するとなっている
論文
Progressive types
確認用
Q. Progressive Type
参考
関連